本門課關注在介紹二十世紀反實在論的兩個大宗，直覺主義與唯名論。
在第一部份我將介紹直覺主義與達美特教授之反實在論。
直覺主義源於二十世紀初頁的荷蘭數學家L.E.J. Brouwer (1881–1966)。他主張數學不過是心智所建構的。數學命題的真只能由心智所建構的證明推出，而數學家之間的溝通不過是在不同心智間，建立相同的心智運行方式。這項主張其中一個後果是否定排中律 (A ? ?A)。根據直覺主義，任何想宣稱(A ?B)的人，至少需要證明A，或者證明B。當無法證明兩者其中任何一者，(A ?B)就無法合理地被宣稱。由於A和A的否定?A都沒有被證明，(A ? ?A)就無法被宣稱。根據這樣的思維，達美特主張必須放棄素樸的二值原則。二值原則是排中律的預設條件，而這樣的原則正好就是基於實在論對真之概念的預設。因此，實在論者的真之概念就變得非常可疑，就因此必須被放棄。既然實在論者的真之概念是戴維森真值條件意義理論的核心，達美特主張應當反對戴維森的理論，並且以可宣稱性取代真值條件，最為意義理論的基礎。達美特可說是前兩世紀當中，最具影響力的哲學家當中，唯一一個專注於反實在論立場的哲學家。在本課程的第一部份，我們會關注於直覺主義在邏輯以及哲學上的面向，以及達美特的反實在論。我們會特別關注於他在形上學上反實在論的論證，以及對戴維森真值條件理論的反對。
本課程的第二部分會完整地介紹唯名論。唯名論可說是二十世紀形上學發展中，最重要的反實在論立場。在傳統哲學當中，唯名論是一種反對共相的理論。然而在當代哲學，唯名論被賦予更廣泛的意義。唯名論反對任何抽象存有物。「唯名論」一詞將對符應論有這樣的影響：任何東西都是個體的、具體的。因此有兩種主張：i存在個體事物，而且任何東西都是個體的；ii存在具體的東西，而且任何東西都是具體的。這兩種意義下的唯名論，都是反實在論。
本課將會探究二十世紀當中唯名論的諸般形式，包括Predicate Nominalism, Concept Nominalism, Ostrich Nominalism, Mereogical Nominalism, Class Nominalism, Resemblance Nominalism等。唯名論反對抽象對象的論證將會重新界定。而我們將會檢視他們對實在論的批評。
我將特別關注蒯恩於1947年針對唯名論的演說，以及其他著名學者的評論。